Logical Equivalence Has Be